机译:过程代数以模拟分布式移动实时系统中的过程的定时运动
机译:定时PETRI网络,LYAPUNOV方法和MAX-PLUS代数的并行计算机处理系统建模,稳定性分析和时间表设计
机译:处理时间和处理速率对工作记忆中遗忘的影响:测试复杂跨度范式的四个模型
机译:在带时间戳的世界中忘记定时进程代数中的永恒行为
机译:实时系统模型和使用定时过程代数进行验证的技术。
机译:由3D垂直Pt / Ta2O5-x / W器件操作的一次忘记过程中的时间衰减忆阻行为和扩散动力学
机译:在定时过程代数中忘记时间
机译:进程代数和petri网中的定时移动性